• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۹۲ پاسخ غیر تکراری از ۲۹۵ پاسخ تکراری در مدت زمان ۰,۵۶ ثانیه یافت شد.

1. ......................

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(

Classification :
QA
76
.
76
.
D47
I57
1985
vol
.
1

2. AI approaches to the complexity of legal systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.

Classification :
K213

3. Advanced concepts for intelligent vision systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.

Classification :
TA1634

4. Advances in algebra and analysis :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.

Classification :
QA150

5. Advances in bioinformatics and computational biology :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ronnie Alves (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.

Classification :
QH324
.
2

6. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.

Classification :
QA402
.
5

7. Advances in nonlinear programming: proceedings of the 96 International Conference on Nonlinear Programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Ya-Xiang Yuan

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Nonlinear programming - Congresses

Classification :
T
57
.
8
.
I58
1996

8. Algebra and Coalgebra in Computer Science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: José Luis Fiadeiro

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.

Classification :

9. Algebra and coalgebra in computer science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Reiko Heckel, Stefan Milius (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algebra, Congresses,Computer science-- Mathematics, Congresses

Classification :
QA76
.
9
.
M35

10. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra

Classification :
QA
76
.
L28
Vol
.
2297

11. Algebraic and geometric methods in discrete mathematics

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Heather A. Harrington, Mohamed Omar, Matthew Wright, editors.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Mathematics, Congresses.,Geometry, Algebraic, Congresses.,General -- Conference proceedings and collections of papers -- Proceedings of conferences of general interest.,ریاضیات -- کنگره‌ها,حساب هندسی -- کنگره‌ها

Classification :
QA39
.
3
.
A53
2017
E-book
,

12. Algorithmic aspects in information and management :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.

Classification :
QA76
.
9
.
A43

13. Algorithms and complexity : new directions and recent results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by J. F. Traub

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics

Classification :
QA
76
.
6
.
S98
1976

14. Algorithms and complexity; new directions and recent results; proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses

Classification :
QA
76
.
6
.
S9195

15. Algorithms and complexity ; new directions and recet results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses

Classification :
QA
76
.
6
.
S9195
1976

16. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by J. F. Traub

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing

Classification :
QA
76
.
6
.
S919
1976

17. Algorithms and model formulations in mathematical programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Stein W. Wallace

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming )Mathematics(,Congresses ، Mathematical models

Classification :
T
57
.
7
.
N36
1987

18. Algorithms and model formulations in mathematical programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Editeed by Stein w. Wallace

Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)

Subject: ، Programming )Mathematics(, Congresses,، Mathematical models, Congresses

Classification :
T
57
.
7
.
N38A54
1987

19. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by A.P. Ershov and D.E. Knuth

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(

Classification :
QA
76
.
L4
v
.
122

20. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses

Classification :
QA
9
.
58
.
A43
1981
  • »
  • 15
  • 14
  • 13
  • 12
  • 11
  • ...
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival